boxenv.sty: A LTEX Style File for Formatting BOX Expressions

BOX is a language independent mark-up language. It is designed for use within a generic pretty-print framework to connect source language dependent front-ends to target language dependent back-ends. A front-end translates a term over a language to BOX to describe its intended layout. Back-ends translate BOX terms to arbitrary output formats. The tool box2latex is a back-end that generates LTEX code using specialized LTEX commands and environments defined in the style file boxenv.sty. This style file is required in order to process the generated document by LTEX. This paper describes how to integrate the generated LTEX files within your documents, and it describes the low-level interface and implementation of the boxenv.sty style file. 1991 Computing Reviews Classification System: D.2.1, D.2.3, D.2.6, D.2.7, D.2.m, D.3.2, I.7.2.